programos specifikacija

programos specifikacija
programos specifikacija statusas T sritis informatika apibrėžtis Aprašymas to, ką programa daro arba turi daryti. Gali būti neformali (nusakomoji) arba formali. Neformali skirta žmogui, kad jis žinotų, kokius rezultatus turi duoti programa ir iš to suprastų, kaip programuoti. Formali užrašoma šiam tikslui skirta specifikavimo kalba ir skirta kompiuteriui, kad jis galėtų patikrinti (verifikuoti) žmogaus parengtą programą arba pagal specifikaciją sintezuoti programą. Yra įvairių specifikavimo kalbų ir metodų. Jie kol kas dar nėra tobuli ir programos dar mažai sintezuojamos arba verifikuojamos. atitikmenys: angl. program specification

Enciklopedinis kompiuterijos žodynas . . 2008.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • programos specifikacija — statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

  • specifikacija — statusas T sritis informatika apibrėžtis Formalizuotas objekto savybių, charakteristikų ir funkcijų aprašymas, dažniausiai pateikiamas ↑dokumento forma. Specifikacijos reikalingos kuriant naujas sistemas, programinę įrangą ir pan. Joms sudaryta… …   Enciklopedinis kompiuterijos žodynas

  • Išskirtinės kokybės šviežių vaisių, uogų ir daržovių, taip pat jų perdirbtų produktų specifikacija — statusas Aprobuotas sritis rizikos ir kokybės valdymas apibrėžtis Lietuvos Respublikos žemės ūkio ministro 2008 m. birželio 4 d. įsakymu Nr. 3D 308 (Žin., 2008, Nr. 66 2520) patvirtintas dokumentas, kuriame nurodomi išsamūs išskirtinės kokybės… …   Lithuanian dictionary (lietuvių žodynas)

  • specification — specifikacija statusas T sritis informatika apibrėžtis Formalizuotas objekto savybių, charakteristikų ir funkcijų aprašymas, dažniausiai pateikiamas ↑dokumento forma. Specifikacijos reikalingos kuriant naujas sistemas, programinę įrangą ir pan.… …   Enciklopedinis kompiuterijos žodynas

  • program specification — programos specifikacija statusas T sritis informatika apibrėžtis Aprašymas to, ką programa daro arba turi daryti. Gali būti neformali (nusakomoji) arba formali. Neformali skirta žmogui, kad jis žinotų, kokius rezultatus turi duoti programa ir iš… …   Enciklopedinis kompiuterijos žodynas

  • Programmbeschreibung — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

  • Programmkenndaten — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

  • Programmspezifikation — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

  • program specification — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

  • spécification du programme — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”